首页> 外文OA文献 >Towards mechanized correctness proofs for cryptographic algorithms : Axiomatization of a probabilistic Hoare style logic

【2h】

Towards mechanized correctness proofs for cryptographic algorithms : Axiomatization of a probabilistic Hoare style logic

机译：迈向加密算法的机械正确性证明：概率Hoare样式逻辑的公理化

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Hartog, den, JI Jerry;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Towards Mechanized Correctness Proofs For Cryptographic Algorithms Axiomatization Of A Probabilistic Hoare Style Logic [J] . Jerry den Hartog Science of Computer Programming . 2008,第1a2期

机译：面向概率Hoare样式逻辑的密码算法公理化的机械化正确性证明
2. RSA and Public-Key Cryptography Introduction to Cryptography Cryptography: Theory and Practice Algebraic Aspects of Cryptography Elliptic Curves: Number Theory and Cryptography Elliptic Curves in Cryptography Modern Cryptography, Probabilistic Proofs, and Pseudorandomness Foundations of Cryptography: Basic Tools The Design of Rijndael: AES --- the Advanced Encryption Standard Handbook of Applied Cryptography [J] . Susan Landau Bulletin of the American Mathematical Society . 2004,第3期

机译：RSA和公钥密码学密码学简介密码学：密码学的理论和实践椭圆曲线的密码学：密码学中的数论和密码学椭圆曲线现代密码学，概率证明和伪随机性基础密码学：基本工具Rijndael的设计： -应用密码学高级加密标准手册
3. Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects [J] . Sergey Ilya, Nanevski Aleksandar, Banerjee Anindya, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2016,第10期

机译：Hoare样式规范作为非线性可并行对象的正确性条件
4. A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs [C] . Ricardo Corin, Jerry den Hartog International Colloquium on Automata, Languages and Programming(ICALP 2006); 20060710-14; Venice(IT) . 2006

机译：基于游戏的密码证明的概率Hoare风格逻辑
5. Towards mechanized correctness proofs for cryptographic algorithms Axiomatization of a probabilistic Hoare style logic [O] . den Hartog Jerry 2008

机译：寻求密码算法的机械正确性证明概率Hoare样式逻辑的公理化
6. Interfacing Hoare Logic and Type Systems for Foundational Proof- Carrying Code [R] . Hamid, N. A. , Shao, Z. 2005

机译：用于基础证明代码的Hoare逻辑和类型系统的接口

Towards mechanized correctness proofs for cryptographic algorithms : Axiomatization of a probabilistic Hoare style logic

著录项

引文网络

相似文献

相关主题

期刊订阅